(第2空)设有描述简单算术表达的上下文无关文法如下，其中id表示单字母。
E→E+T|T
T→F*T|F
F→id
与使用该文法描述的表达式a+b*c*d相符的语法树为( )，
下图所示有限自动机(DFA)是( )。